Total Books: 1 - 1 /1
Tools and Algorithms for the Construction and Analysis of Systems
This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...
Lire la suite
Total Books: 1 - 1 /1
